Definition
According to the proposition of WARP for demand system, we have the Law of demand: demand and prices move in opposite direction.
It is only true for compensated price changes, not true for uncompensated price changes: think of Giffen goods.